// Copyright 2009 the Sputnik authors.  All rights reserved.
/**
 * The integer 0 has two representations, +0 and -0
 *
 * @path ch08/8.5/S8.5_A11_T1.js
 * @description Check 1.0/p_zero !== 1.0/n_zero
 */

var p_zero=+0;
var n_zero=-0;

if (1.0/p_zero === 1.0/n_zero){
  $ERROR('#1: var p_zero=+0; var n_zero=-0; 1.0/p_zero !== 1.0/n_zero');
}

